Functional programming

Results: 3706



#Item
141Deriving Generic Functions by Example Neil Mitchell University of York, UK http://www.cs.york.ac.uk/~ndm/ Abstract. A function is said to be generic if it operates over values of

Deriving Generic Functions by Example Neil Mitchell University of York, UK http://www.cs.york.ac.uk/~ndm/ Abstract. A function is said to be generic if it operates over values of

Add to Reading List

Source URL: community.haskell.org

Language: English - Date: 2013-10-12 04:58:09
142Implementing a Bibliography Processor in Scheme Jean-Michel Hufflen LIFC (FRE CNRSUniversity of Franche-Comté 16, route de GrayBESANÇON CEDEX

Implementing a Bibliography Processor in Scheme Jean-Michel Hufflen LIFC (FRE CNRSUniversity of Franche-Comté 16, route de GrayBESANÇON CEDEX

Add to Reading List

Source URL: www.deinprogramm.de

Language: English - Date: 2005-10-09 10:53:55
143From Stack Traces to Lazy Rewriting Sequences Stephen Chang1 , Eli Barzilay1 , John Clements2 , and Matthias Felleisen1 1 2

From Stack Traces to Lazy Rewriting Sequences Stephen Chang1 , Eli Barzilay1 , John Clements2 , and Matthias Felleisen1 1 2

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2012-08-23 01:56:39
144Design of Parallel and High-Performance Computing Fall 2014 Lecture: Scheduling Instructor: Torsten Hoefler & Markus Püschel

Design of Parallel and High-Performance Computing Fall 2014 Lecture: Scheduling Instructor: Torsten Hoefler & Markus Püschel

Add to Reading List

Source URL: spcl.inf.ethz.ch

Language: English - Date: 2014-11-30 16:07:53
145ECMA-402 3rd Edition / June 2016 ECMAScript® 2016 Internationalization API Specification

ECMA-402 3rd Edition / June 2016 ECMAScript® 2016 Internationalization API Specification

Add to Reading List

Source URL: www.ecma-international.org

Language: English - Date: 2016-06-14 07:11:33
146Revised5 Report on the Algorithmic Language Scheme RICHARD H. ABELSON N. I. ADAMS IV D. H. BARTLEY

Revised5 Report on the Algorithmic Language Scheme RICHARD H. ABELSON N. I. ADAMS IV D. H. BARTLEY

Add to Reading List

Source URL: www.math.purdue.edu

Language: English - Date: 2010-01-13 17:46:38
147From ML to program proof or: The continuation of functional programming by other means Xavier Leroy INRIA Paris-Rocquencourt Milner symposium,

From ML to program proof or: The continuation of functional programming by other means Xavier Leroy INRIA Paris-Rocquencourt Milner symposium,

Add to Reading List

Source URL: events.inf.ed.ac.uk

Language: English - Date: 2012-10-10 03:52:03
148Written Examination, May 28th, 2014 Course noThe duration of the examination is 4 hours. Course Name: Fun tional programming Allowed aids: All written material The problem set onsists of 3 problems whi h are wei

Written Examination, May 28th, 2014 Course noThe duration of the examination is 4 hours. Course Name: Fun tional programming Allowed aids: All written material The problem set onsists of 3 problems whi h are wei

Add to Reading List

Source URL: www.imm.dtu.dk

Language: English - Date: 2014-05-19 07:37:47
    149PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama

    PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama

    Add to Reading List

    Source URL: www.acm.org

    Language: English - Date: 2016-06-08 12:49:34
    150Norman Ramsey Associate Professor Department of Computer Science Tufts University Medford, MassachusettsEmail: Phone: +

    Norman Ramsey Associate Professor Department of Computer Science Tufts University Medford, MassachusettsEmail: Phone: +

    Add to Reading List

    Source URL: www.cs.tufts.edu

    Language: English - Date: 2013-11-25 15:39:10